|
|
Hardware Accelerated Functional Verification
Zachariášová, Marcela ; Kotásek, Zdeněk (oponent) ; Kajan, Michal (vedoucí práce)
Functional verification is a widespread technique to check whether a hardware system satisfies a given correctness specification. The complexity of modern computer systems is rapidly rising and the verification process takes a significant amount of time. It is a challenging task to find appropriate acceleration techniques for this process. In this thesis, we describe theoretical principles of different verification approaches such as simulation and testing, functional verification, and formal analysis and verification. In particular, we focus on creating verification environments in the SystemVerilog language. The analysis part describes the requirements on a system for acceleration of functional verification, the most important being the option to easily enable acceleration and time equivalence of an accelerated and a non-accelerated run of a verification. The thesis further introduces a design of a verification framework that exploits the field-programmable gate array technology, while retaining the possibility to run verification in the user-friendly debugging environment of a simulator. According to the experiments carried out on a prototype implementation, the achieved acceleration is proportional to the number of checked transactions and the complexity of the verified system. The maximum acceleration achieved on the set of experiments was over 130 times.
|
|
|
Model čističky odpadních vod řízený pomocí PLC
Kopáč, Ondřej ; Blažek, Petr (oponent) ; Pospíšil, Ondřej (vedoucí práce)
Tato diplomová práce se zabývá návrhem čističky odpadních vod, která bude řízena pomocí PLC. V teoretické části jsou popsány druhy odpadních vod a stokových soustav, které jsou důležité při návrhu čističky. V práci jsou také popsány programovatelné logické automaty (PLC), programovací jazyky pro jejich naprogramování, SCADA (Supervisory Control And Data Acquisition) systémy a automatizace. Dále se práce zabývá teoretickým popisem čističek vod, jejich funkcí a zabezpečením. V další části je popsán návrh čističky. Poslední částí práce je samotná realizace čističky odpadních vod.
|
|
|
Hluboké neuronové sítě pro posilované učení
Ludvík, Tomáš ; Bambušek, Daniel (oponent) ; Hradiš, Michal (vedoucí práce)
Cílem této práce je použití hlubokých neuronových sítí na problém v posilovaném učení. Používám moji úpravu 2D hry Tuxánci jako testovací prostředí. Jedná se o úpravu, která zajišťuje možnosti využití hry jako prostředí pro strojového učení. Následně řeším problémy s naučením agenta pomocí posilovaného učení algoritmem Double DQN. Pomocí experimentů si prokazuji správné nastavení funkce odměn.
|
|
|
Automated Testing Environment
Verevkin, Aleksandr ; Januš, Filip (oponent) ; Malinka, Kamil (vedoucí práce)
This work deals with the task of setting up and deploying an environment for software testing. The main objective is to simplify and automate this process. The chosen problem is intended to be solved with the help of existing tools for workflow automation. Specifically, with the Apache Airflow, a workflow management platform for data engineering pipelines. The contribution of this work is in the study of existing workflow automation tools and the creation of a framework for automatic deployment of infrastructure.
|
|
|
Hluboké neuronové sítě pro posilované učení
Ludvík, Tomáš ; Bambušek, Daniel (oponent) ; Hradiš, Michal (vedoucí práce)
Cílem této práce je použití hlubokých neuronových sítí na problém v posilovaném učení. Používám moji úpravu 2D hry Tuxánci jako testovací prostředí. Jedná se o úpravu, která zajišťuje možnosti využití hry jako prostředí pro strojového učení. Následně řeším problémy s naučením agenta pomocí posilovaného učení algoritmem Double DQN. Pomocí experimentů si prokazuji správné nastavení funkce odměn.
|
|
|
Model čističky odpadních vod řízený pomocí PLC
Kopáč, Ondřej ; Blažek, Petr (oponent) ; Pospíšil, Ondřej (vedoucí práce)
Tato diplomová práce se zabývá návrhem čističky odpadních vod, která bude řízena pomocí PLC. V teoretické části jsou popsány druhy odpadních vod a stokových soustav, které jsou důležité při návrhu čističky. V práci jsou také popsány programovatelné logické automaty (PLC), programovací jazyky pro jejich naprogramování, SCADA (Supervisory Control And Data Acquisition) systémy a automatizace. Dále se práce zabývá teoretickým popisem čističek vod, jejich funkcí a zabezpečením. V další části je popsán návrh čističky. Poslední částí práce je samotná realizace čističky odpadních vod.
|
|
|
Způsoby řízení rizika v rámci testovacího prostředí bankovní instituce
Mádl, Jiří ; Bruckner, Tomáš (vedoucí práce) ; Mandera, Petr (oponent)
V předložené bakalářské práci se zaměřuji na způsoby řízení rizik v rámci testovacího prostředí hypotetické bankovní instituce. Součástí řízení rizik je datová anonymizace a vytvoření testovacího prostředí, jehož cílem je nabídnout co nejvěrnější kopii produkčního prostřední. V teoretické části práce se věnuji teorii datové anonymizace, legislativnímu rámci České republiky a Evropské unie, teorii testování a definuji teoretické produkční prostředí hypotetické bankovní instituce, které vychází z reálného prostředí společnosti ČSOB Leasing a.s.. Následně navrhuji a analyzuji možná řešení vytvoření testovacího prostředí. Cílem této analýzy je volba nejvhodnějšího způsobu tvorby testovacího prostředí, který v praktické části aplikuji na hypotetické prostředí. Praktická část práce se věnuje také governance navrhovaného procesu.
|
|
|
Optimalizace virtuálního prostředí
Vlček, Martin ; Musil, Martin (oponent) ; Ondrák, Viktor (vedoucí práce)
Bakalářská práce se zabývá problematikou optimalizace virtualizačních nástrojů VMware pro potřeby především manuální testování software ve společnosti AVG Technologies CZ. Analyzuje současný stav jejich využití a porovnává produktivitu a benefity optimalizované verze. Na závěr zhodnocuje přínos tohoto řešení pro společnost.
|
|
|
Hardware Accelerated Functional Verification
Zachariášová, Marcela ; Kotásek, Zdeněk (oponent) ; Kajan, Michal (vedoucí práce)
Functional verification is a widespread technique to check whether a hardware system satisfies a given correctness specification. The complexity of modern computer systems is rapidly rising and the verification process takes a significant amount of time. It is a challenging task to find appropriate acceleration techniques for this process. In this thesis, we describe theoretical principles of different verification approaches such as simulation and testing, functional verification, and formal analysis and verification. In particular, we focus on creating verification environments in the SystemVerilog language. The analysis part describes the requirements on a system for acceleration of functional verification, the most important being the option to easily enable acceleration and time equivalence of an accelerated and a non-accelerated run of a verification. The thesis further introduces a design of a verification framework that exploits the field-programmable gate array technology, while retaining the possibility to run verification in the user-friendly debugging environment of a simulator. According to the experiments carried out on a prototype implementation, the achieved acceleration is proportional to the number of checked transactions and the complexity of the verified system. The maximum acceleration achieved on the set of experiments was over 130 times.
|
|
|
Agilní metodika testování podnikových aplikací s využitím nástroje HP ALM
Studnička, Michal ; Pavlíček, Antonín (vedoucí práce) ; Veber, Jaromír (oponent)
Využití informačních systémů a technologií (IS/ICT) je dnes nutností téměř pro všechny organizace ve všemožných odvětvích podnikání. Ty, které chtějí prosperovat, vědí, že je nutné přikládat náležitou pozornost jejich dynamickému vývoji a ověřovat jejich kvalitu. Kvalita informačních systémů se rovná kvalitě jejich jednotlivých prvků, které tvoří propojené softwarové aplikace. Jejich vývoj může být v současné době řízen mnoha rozličnými metodikami neboli návody, jak je vytvořit a to v co nejkratším čase, co nejlevněji a s dostatečnou kvalitou. Tento pomyslný trojúhelník, tvoří základ pro neustálý boj o nutný kompromis na jedné nebo druhé straně. Součástí těchto vývojových metodik je ve většině případů i část věnující se testování. Vzniklé dílo je nutné před předáním zákazníkovi zkontrolovat, aby nedocházelo k reklamacím a zbytečným průtahům projektů. Taktéž na straně klienta nutně dochází ke kontrole kvality toho, za co zaplatil. Proto je testování velice důležitým, leč stále opomíjeným článkem vývoje software. Hlavním cílem této diplomové práce je modifikace metodiky testování, která vznikla v roce 2013 jako diplomová práce Ivety Králové na půdě Vysoké školy ekonomické. Tato metodika je upravena pro potřeby testování ve specifickém prostředí menších vývojových týmů, které provádějí testování za podpory nástroje HP ALM. Původní metodika je určena pouze pro systémové testování a její působení končí v oblasti předání k akceptačním testům. Vzniklá metodika tyto hranice překračuje a pokrývá i tuto oblast. Dílčím cílem je obohacení této metodiky o způsob implementace a správy testovacích prostředí, vhodných pro tento druh provozu. Hlavním přínosem práce je vznik agilní metodiky, která je specifická pro konkrétní druh provozu a pracuje s nástrojem HP ALM.
|
host ::
RSS.